1. Advances in computers.
پدیدآورنده: edited by Marvin V. Zelkowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
47
2. Advances in computers.
پدیدآورنده: edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA76
.
A3eb
vol
.
5
3. Artificial intelligence and heuristic programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence,، Electronic digital computers-- Programming,، Heuristic programming
رده :
Q
335
.
A787
4. Artificial intelligence and heuristic programming
پدیدآورنده: / editors: N. V. Findler [and] Bernard Meltzer
کتابخانه: کتابخانه دانشکده روان شناسی و علوم تربیتی (شهید دقایقی) (تهران)
موضوع: Artificial intelligence,Electronic digital computers - Programming,Heuristic programming
رده :
Q
,
335
, .
A787
5. Automated reasoning: 33 Base research problems
پدیدآورنده: Larry Wos
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
6. Automated reasoning: introduction and applications
پدیدآورنده: )by( Larry Wos )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
7. Catalogue of artificial intelligence tools
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Artificial intelligence -- Data processing►Robotics►Electronic digital computers -- Programming►Computer software -- Catalogs
رده :
336
.
B86
8. Catalogue of artificial intelligence tools
پدیدآورنده: Bundy, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
9. Catalogue of artificial intelligence tools
پدیدآورنده: Bundy, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
10. Catalogue of artificial intelligence tools
پدیدآورنده: / edited by Alan Bundy
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Artificial intelligence -- Data processing,Robotics,Electronic digital computers -- Programming,Computer programs -- Catalogs
رده :
Q
336
.
C27
1986
11. Computers and languages: Theory and Practice
پدیدآورنده: Anton, Nijholt
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic digital computers- Programming,Programming language (Electronic Computer)
رده :
QA
،
76
.
6
،.
N55
،
1988
12. Developing 2D games with Unity :
پدیدآورنده: Jared Halpern.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Unity (Electronic resource),Unity (Electronic resource),C# (Computer program language),Video games-- Design.,C# (Computer program language),COMPUTERS-- Programming-- Games.,Video games-- Design.
رده :
QA76
.
76
.
C672
13. Hackers /
پدیدآورنده: Steven Levy
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence-- Research,Computer engineering,Computer hackers,Geeks (Computer enthusiasts),Programming (Electronic computers)
14. Mobile and wireless communication networks :
پدیدآورنده: edited by Guy Pujolle
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mobile communication systems, Congresses.,Wireless communication systems, Congresses.
15. On conceptual modelling : perspectives from artificial intelligence, database, and programming languages
پدیدآورنده: edited by Michael L. Brodie, John Mylopoulos, Joachim W. schmidt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Digital computer simulation,، Artificial intelligence,، Database management,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65O5
1984
16. Parallel processing and applied mathematics :
پدیدآورنده: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
17. Programming for artificial intelligence: methods, tools and applecations
پدیدآورنده: Kreutzer, Wolfgang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Artificial intelligence
رده :
QA
76
.
6
.
K735
1990
18. Programming for artificial intelligence: : methods, tools, and applications
پدیدآورنده: Kreutzer, Wolfgang
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Programming,، Artificial intelligence
رده :
QA
76
.
6
.
K735
1990
19. Representation and meaning; experiments with information processing systems
پدیدآورنده: Simon, Herbert Alexander
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Artificial intelligence,، Programming languages )Electronic computers(,، Language data processing
رده :
Q
335
.
S5
20. Software engineering
پدیدآورنده: Computer and Information Sciences Symposium, 3d, Miami Beach, Fla., 1969
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Electronic digital computers- Congresses►Programming languages (Electronic computers)- Congresses►Information storage and retrieval systems- Congresses►Artificial intelligence- Congresses
رده :
76
.
5
.
C61255
